projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fed3819) | patch
Added camlp4 coq build fix.
authorSven Luther <luther@debian.org>
Wed, 21 Jul 2004 16:20:24 +0000 (16:20 +0000)
committerSven Luther <luther@debian.org>
Wed, 21 Jul 2004 16:20:24 +0000 (16:20 +0000)
commit30dc12268d224d69e57d3e76ee86ad4e86dc3512
treed28d7254f889d889e33e399535fe18e20fdcb445tree | snapshot
parentfed38197c32d59383c040a2fbcfdfef4dc872041commit | diff
Added camlp4 coq build fix.
debian/changelog diff | blob | history
debian/patches/00list diff | blob | history
debian/patches/camlp4-coq-fix.dpatch [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.